The Universal Resolving Algorithm: Inverse Computation in a Functional Language
نویسندگان
چکیده
R. Backhouse and J. N. Oliveira (Eds.): Mathematics of Program Construction. Proceedings. LNCS 1837, pp. 187–212, 2000. c © Springer-Verlag Berlin Heidelberg 2000 Abstract. We present an algorithm for inverse computation in a firstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) introduced in this paper is sound and complete, and computes each solution, if it exists, in finite time. The algorithm has been implemented for TSG, a typed dialect of S-Graph, and shows some remarkable results for the inverse computation of functional programs such as pattern matching and the inverse interpretation of While-programs.
منابع مشابه
Principles of Inverse Computation and the Universal Resolving Algorithm
We survey fundamental concepts in inverse programming and present the Universal Resolving Algorithm (URA), an algorithm for inverse computation in a first-order, functional programming language. We discuss the principles behind the algorithm, including a three-step approach based on the notion of a perfect process tree, and demonstrate our implementation with several examples. We explain the id...
متن کاملThe universal resolving algorithm and its correctness: inverse computation in a functional language
We present an algorithm for inverse computation in a rst-order functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm introduced in this paper is sound and complete, and computes each solution for which the given program terminates, in nite time. The algorithm has been implemented for TSG, a typed dialect of S-Graph, and shows some remarkable result...
متن کاملGGMRES: A GMRES--type algorithm for solving singular linear equations with index one
In this paper, an algorithm based on the Drazin generalized conjugate residual (DGMRES) algorithm is proposed for computing the group-inverse solution of singular linear equations with index one. Numerical experiments show that the resulting group-inverse solution is reasonably accurate and its computation time is significantly less than that of group-inverse solution obtained by the DGMRES alg...
متن کاملA TRANSIENT TWO-DIMENTIONAL INVERSE ESTIMATION OF THE METAL-MOLD HEAT TRANSFER COEFFICIENT DURING SQUEEZE CASTING of AL-4.5WT%CU
In this paper, a transient, two-dimensional and nonlinear inverse heat conduction problem in solidification process is considered. Genetic algorithm is applied for the identification of the interfacial heat transfer coefficients during squeeze casting of commercial aluminum alloy (Al-4.5wt%Cu) by assuming a priori information regarding the functional form of the unknown heat transfer coefficien...
متن کاملImplementation of Face Recognition Algorithm on Fields Programmable Gate Array Card
The evolution of today's application technologies requires a certain level of robustness, reliability and ease of integration. We choose the Fields Programmable Gate Array (FPGA) hardware description language to implement the facial recognition algorithm based on "Eigen faces" using Principal Component Analysis. In this paper, we first present an overview of the PCA used for facial recognition,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000